On Test Sets for Checking Morphism Equivalence on Languages with Fair Distribution of Letters
نویسندگان
چکیده
A test set for ;t language I. is J tinite subset T of L with the property that each pair of morphisms that agrees on 7 iilso agrees on L. Some results concerning te\t sets for languages with f,rir distribution of letters ilre presented. The first result is that every DOL language with fair distribution of Ictters has ,i test cet. The second result shows thst every lapage L with fair distribution has a test set re!ative to morphisms g, it u hich have bounded halar~re on L. These results are generalizations of results of Culik 11 and Karhumiiki ( 1983).
منابع مشابه
Pricing Unemployment Insurance in Iran
Abstract Employees always concern about losing their job, or in other word, losing their income resources. For this purpose, governments require strong protection system for covering these concerns. The Unemployment Insurance (UI) program’s can be used for achieving this goal. Based on article five of Iranian unemployment Insurance law, premium is four percent of employee’s salary while emplo...
متن کاملStill the Great Debate – “Fair Balance” in Direct-to-Consumer Prescription Drug Advertising; Comment on “Trouble Spots in Online Direct-to-Consumer Prescription Drug Promotion: A Content Analysis of FDA Warning Letters”
The above titled paper examined the Food and Drug Administration’s (FDA’s) warning letters and notice of violations (NOV) over a 10-year period. Findings from this content analysis reinforced what has been the primary issue for prescription direct-to-consumer advertising (DTCA) since its beginning, the fair balance of risk and benefit information. As opposed to another analysis in 2026 about th...
متن کاملTrouble Spots in Online Direct-to-Consumer Prescription Drug Promotion: A Content Analysis of FDA Warning Letters
Background For the purpose of understanding the Food and Drug Administration’s (FDA’s) concerns regarding online promotion of prescription drugs advertised directly to consumers, this study examines notices of violations (NOVs) and warning letters issued by the FDA to pharmaceutical manufacturers. Methods The FDA’s warning letters and NOVs, which were issued to pharmaceutical companies over a...
متن کاملEquality sets of prefix morphisms and regular star languages
We consider equality sets of prefix morphisms, that is, sets EG(g1, g2) = {w | g1(w) = g2(w)}, where g1 and g2 are prefix morphisms. Recall that a morphism g is prefix if, for all different letters a and b, g(a) is not a prefix of g(b). We prove a rather surprising equality on families of languages, namely, that the family of regular star languages coincides with the family of languages of form...
متن کاملTowards Implementations for Advanced Equivalence Checking in Answer-Set Programming
In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different notions of equivalence, including the well-known notions of strong and uniform equivalence, as well as refined equivalence notions based on the projection of answer sets, where not all parts of an answer set are of relevance (like, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 33 شماره
صفحات -
تاریخ انتشار 1984